 
#include <string.h>
#include <math.h>
#include "system.h"
#include "f1c100s_de.h"
#include "f1c100s_timer.h"
#include "f1c100s_intc.h"
#include "f1c100s_gpio.h"
#include "f1c100s_pwm.h"
#include "f1c100s_uart.h"
#include "arm32.h"
#include "time0.h"
#include "f1c100s_sdc.h"
#include "sd.h"
#include "sdcard.h"
#include "ff.h"
#include "diskio.h"
#include "fatfs.h"
int main(void)
{
  system_init();            // Initialize clocks, mmu, cache, uart, ...
  arm32_interrupt_enable(); // Enable interrupts
  timer0_init();
  printf("\r\napp [SD] run. compiled_time %s %s\r\n", __DATE__, __TIME__);
  sdcard_init();
  sdcard_test();

  fatfs_test();
  while (1)
  {
  }
}
